../../../pargo-instances/clique/dimacs/san200_0.7_2.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1396 rows, 1596 columns, and 7902 nonzeros.
Reduced MIP has 200 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (4.77 ticks)
Probing time = 0.00 sec. (1.46 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (4.81 ticks)
Probing time = 0.00 sec. (1.46 ticks)
Clique table members: 1398.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.03 sec. (21.10 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      200.0000      440     --- 
      0     0       18.0000    93        0.0000       18.0000      440     --- 
*     0+    0                           14.0000       18.0000      440   28.57%
      0     0       18.0000    70       14.0000      User: 14      440   28.57%
      0     0       18.0000    60       14.0000      Cuts: 13      485   28.57%
      0     0       18.0000    50       14.0000      Cuts: 24      538   28.57%
      0     0       18.0000    67       14.0000      Cuts: 18      584   28.57%
      0     0       18.0000    56       14.0000      User: 26      628   28.57%
      0     0       18.0000    56       14.0000      Cuts: 25      690   28.57%
      0     0       18.0000    58       14.0000      User: 18      714   28.57%
      0     0       18.0000    76       14.0000      Cuts: 21      829   28.57%
      0     0       18.0000    66       14.0000      User: 30      880   28.57%
      0     0       18.0000    72       14.0000      User: 26      972   28.57%
      0     0       18.0000    74       14.0000      User: 24      988   28.57%
*     0+    0                           15.0000       18.0000      988   20.00%
      0     0       18.0000    85       15.0000      User: 12     1089   20.00%
      0     0       18.0000    78       15.0000      User: 16     1160   20.00%
      0     0       18.0000    83       15.0000       Cuts: 9     1223   20.00%
      0     0       18.0000    46       15.0000      User: 16     1229   20.00%
      0     0       18.0000    55       15.0000       Cuts: 4     1303   20.00%
      0     0       18.0000    71       15.0000      Cuts: 15     1407   20.00%
      0     0       18.0000    73       15.0000      User: 12     1463   20.00%
      0     0       18.0000    72       15.0000      Cuts: 14     1522   20.00%
      0     0       18.0000    69       15.0000       Cuts: 5     1579   20.00%
      0     0       18.0000    51       15.0000      Cuts: 11     1637   20.00%
      0     0       18.0000    66       15.0000      Cuts: 18     1714   20.00%
      0     0       18.0000    68       15.0000      Cuts: 29     1806   20.00%
      0     0       18.0000    78       15.0000      Cuts: 26     1926   20.00%
      0     0       18.0000    68       15.0000      Cuts: 23     2018   20.00%
      0     0       18.0000    79       15.0000      Cuts: 15     2131   20.00%
      0     0       18.0000    73       15.0000      User: 12     2204   20.00%
      0     0       18.0000    72       15.0000       Cuts: 7     2238   20.00%
      0     0       18.0000    53       15.0000      Cuts: 13     2317   20.00%
      0     0       18.0000   106       15.0000       User: 8     2374   20.00%
      0     0       18.0000    57       15.0000      User: 38     2374   20.00%
      0     0       18.0000    70       15.0000      Cuts: 13     2462   20.00%
      0     0       18.0000    71       15.0000      Cuts: 13     2554   20.00%
      0     0       18.0000    74       15.0000      Cuts: 14     2625   20.00%
      0     0       18.0000    78       15.0000      Cuts: 10     2675   20.00%
      0     0       18.0000    90       15.0000      User: 14     2750   20.00%
      0     0       18.0000    84       15.0000      Cuts: 24     2782   20.00%
      0     0       18.0000    94       15.0000      Cuts: 33     2902   20.00%
      0     0       18.0000    78       15.0000      Cuts: 32     2962   20.00%
      0     0       18.0000    65       15.0000      Cuts: 21     3023   20.00%
      0     0       18.0000    66       15.0000       User: 8     3113   20.00%
      0     0       18.0000    69       15.0000      Cuts: 10     3201   20.00%
      0     0       18.0000    71       15.0000       Cuts: 8     3266   20.00%
      0     0       18.0000    69       15.0000      Cuts: 13     3327   20.00%
      0     0       18.0000    72       15.0000       Cuts: 8     3374   20.00%
      0     0       18.0000    65       15.0000      Cuts: 16     3474   20.00%
      0     0       18.0000    99       15.0000      Cuts: 21     3512   20.00%
      0     0       18.0000    99       15.0000      Cuts: 43     3627   20.00%
      0     0       18.0000    86       15.0000      User: 14     3627   20.00%
      0     0       18.0000    85       15.0000      Cuts: 26     3694   20.00%
      0     0       18.0000    81       15.0000      User: 16     3698   20.00%
      0     0       18.0000    77       15.0000      Cuts: 31     3762   20.00%
      0     0       18.0000    64       15.0000      User: 16     3762   20.00%
      0     0       18.0000    81       15.0000      Cuts: 10     3869   20.00%
      0     0       18.0000    82       15.0000      Cuts: 12     3908   20.00%
      0     0       18.0000    75       15.0000      Cuts: 13     3968   20.00%
      0     0       18.0000    71       15.0000      Cuts: 12     4056   20.00%
      0     0       18.0000    79       15.0000      Cuts: 20     4109   20.00%
      0     0       18.0000    83       15.0000      Cuts: 16     4175   20.00%
      0     0       18.0000    82       15.0000      Cuts: 14     4267   20.00%
      0     0       18.0000    82       15.0000      Cuts: 15     4354   20.00%
      0     0       18.0000    82       15.0000      Cuts: 10     4427   20.00%
      0     0       18.0000    68       15.0000       User: 4     4427   20.00%
      0     0       18.0000    76       15.0000       Cuts: 8     4473   20.00%
      0     0       18.0000    70       15.0000      Cuts: 11     4514   20.00%
      0     0       18.0000    76       15.0000      Cuts: 15     4587   20.00%
      0     0       18.0000    55       15.0000      User: 16     4587   20.00%
      0     0       18.0000   102       15.0000      Cuts: 19     4707   20.00%
      0     0       18.0000    74       15.0000      User: 16     4707   20.00%
      0     0       18.0000    91       15.0000      Cuts: 24     4754   20.00%
      0     0       18.0000    90       15.0000      Cuts: 19     4778   20.00%
      0     0       18.0000    90       15.0000      Cuts: 24     4886   20.00%
      0     0       18.0000    90       15.0000      Cuts: 20     4992   20.00%
      0     0       18.0000    96       15.0000      Cuts: 15     5115   20.00%
      0     0       18.0000    85       15.0000      User: 14     5115   20.00%
      0     0       18.0000    90       15.0000      Cuts: 13     5201   20.00%
      0     0       18.0000    75       15.0000      Cuts: 12     5265   20.00%
      0     0       18.0000   101       15.0000       Cuts: 6     5388   20.00%
      0     0       18.0000    95       15.0000      User: 10     5388   20.00%
      0     0       18.0000    91       15.0000      Cuts: 24     5436   20.00%
      0     0       18.0000    99       15.0000      User: 14     5464   20.00%
      0     0       18.0000    95       15.0000      Cuts: 32     5565   20.00%
      0     0       18.0000    89       15.0000      User: 12     5565   20.00%
      0     0       18.0000   107       15.0000      Cuts: 28     5699   20.00%
      0     0       18.0000    86       15.0000      Cuts: 19     5745   20.00%
      0     0       18.0000    87       15.0000      Cuts: 15     5839   20.00%
      0     0       18.0000    86       15.0000       Cuts: 7     5860   20.00%
      0     0       18.0000    85       15.0000      Cuts: 13     5892   20.00%
      0     0       18.0000    84       15.0000       Cuts: 9     5902   20.00%
      0     0       18.0000    81       15.0000      User: 10     5964   20.00%
      0     0       18.0000    71       15.0000       Cuts: 8     5991   20.00%
      0     0       18.0000    81       15.0000      Cuts: 22     6077   20.00%
      0     0       18.0000    90       15.0000      Cuts: 12     6199   20.00%
      0     0       18.0000    98       15.0000      Cuts: 12     6238   20.00%
      0     0       18.0000    94       15.0000      User: 10     6238   20.00%
      0     0       18.0000   100       15.0000      Cuts: 23     6320   20.00%
      0     0       18.0000    79       15.0000       User: 6     6320   20.00%
      0     0       18.0000   112       15.0000      Cuts: 17     6451   20.00%
      0     0       18.0000    90       15.0000      User: 26     6453   20.00%
      0     0       18.0000    90       15.0000      Cuts: 15     6517   20.00%
      0     0       18.0000    94       15.0000       Cuts: 8     6606   20.00%
      0     0       18.0000    96       15.0000      Cuts: 16     6701   20.00%
      0     0       18.0000   104       15.0000      Cuts: 12     6788   20.00%
      0     0       18.0000   123       15.0000      Cuts: 12     6926   20.00%
      0     0       18.0000    98       15.0000      Cuts: 13     6983   20.00%
      0     0       18.0000    92       15.0000       Cuts: 7     7035   20.00%
      0     0       18.0000    91       15.0000       User: 8     7035   20.00%
      0     0       18.0000   112       15.0000      Cuts: 31     7171   20.00%
      0     0       18.0000    89       15.0000      Cuts: 17     7234   20.00%
      0     0       18.0000    90       15.0000      Cuts: 25     7285   20.00%
      0     0       18.0000    85       15.0000      Cuts: 22     7371   20.00%
      0     0       18.0000    92       15.0000      Cuts: 21     7479   20.00%
      0     0       18.0000    89       15.0000      Cuts: 14     7581   20.00%
      0     0       18.0000    96       15.0000      Cuts: 16     7659   20.00%
      0     0       18.0000   107       15.0000      Cuts: 32     7780   20.00%
      0     0       18.0000   105       15.0000      Cuts: 19     7821   20.00%
      0     0       18.0000    99       15.0000      Cuts: 13     7870   20.00%
      0     0       18.0000    91       15.0000      Cuts: 28     7946   20.00%
      0     0       18.0000    90       15.0000      Cuts: 20     8041   20.00%
      0     0       18.0000    71       15.0000      Cuts: 20     8123   20.00%
      0     0       18.0000   100       15.0000       Cuts: 6     8248   20.00%
      0     0       18.0000    97       15.0000      Cuts: 14     8348   20.00%
      0     0       18.0000   106       15.0000      Cuts: 14     8471   20.00%
      0     0       18.0000   113       15.0000      Cuts: 13     8585   20.00%
      0     0       18.0000   104       15.0000      User: 14     8629   20.00%
      0     0       18.0000   106       15.0000      Cuts: 21     8691   20.00%
      0     0       18.0000   100       15.0000       Cuts: 3     8714   20.00%
      0     0       18.0000   103       15.0000      Cuts: 14     8778   20.00%
      0     0       18.0000   100       15.0000       Cuts: 5     8812   20.00%
      0     0       18.0000    99       15.0000      Cuts: 12     8845   20.00%
      0     0       18.0000   104       15.0000       Cuts: 7     8880   20.00%

User cuts applied:  1715

Root node processing (before b&c):
  Real time             =   48.60 sec. (50382.67 ticks)
Sequential b&c:
  Real time             =    0.00 sec. (0.00 ticks)
                          ------------
Total (root+branch&cut) =   48.60 sec. (50382.67 ticks)
Solution status = Feasible
Solution value  = 15
Clique separated  = 1490
Rango separated  = 488
Rango con pesos separated  = 62
Número de nudos B&B  = 0
Número de llamadas a PL  = 197
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 5
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.015
Número de vértices para grafos chicos: 50
